Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
841	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2014-05-14 09:23:19 Data types Type theory Subroutines Functional programming C++ Closure Spore Anonymous function Type system Software engineering Computing Computer programming
842	www.opnff.net April 2008 Newsletter Connecting the Dots Between Research, Practice and Policy by Calvin Williams, OPNFF President Add to Reading List Source URL: www.opnff.net Language: English - Date: 2009-01-16 22:31:46 International Conference on Functional Programming Program evaluation Policy Science Evaluation Sociology Functional programming
843	tinlids best books for schools and libraries We oﬀer 20 Add to Reading List Source URL: tinlids.ca Language: English - Date: 2015-03-09 15:02:00 Cocorico Pack Software Declarative programming Functional programming Coq Guided reading Six pack
844	DFScala: High Level Dataflow Support for Scala Daniel Goodman∗ Salman Khan Chris Seaton Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Computer architecture Functional languages Programming paradigms Computer data Dataflow Parallel computing Directed acyclic graph OCaml Scala Computing Software engineering Computer programming
845	© Jens-Helge Dahmen Air Ship "Leonardo" The myth of Leonardo da Vinci as the genius that, in the second half of the 15th Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2007-05-22 17:27:49 Declarative programming Fold Recursion Anamorphism Yoshizawa-Randlett system Origami Software engineering Functional programming
846	A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1 Add to Reading List Source URL: www.amitlevy.com Language: English - Date: 2013-09-13 15:42:52 Adjoint functors Functional programming Control flow Central processing unit Concurrency control Monad Scheduling Parallel computing Thread Computing Software engineering Computer programming
847	Philipp Haller ! Chemin du Bochet 46 CH-1025 St-Sulpice Switzerland Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-08-22 08:30:32 Functional languages Martin Odersky Scala programming language Scala Object-oriented programming European Conference on Object-Oriented Programming Actor model Reactive programming Concurrent computing Computing Software engineering Computer programming
848	Position Paper: Static Debugging of Programs Using High-Level Concurrency Libraries Philipp Haller EPFL, Switzerland Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2010-10-05 16:30:08 Type theory Cross-platform software Functional languages Java platform Procedural programming languages Scala Type system Ada Haskell Computing Software engineering Programming language theory
849	Computer Science F# in Education – Programming the New Generation F# is a simple, type-safe, and efficient functional programming language with special expressiveness in parallel programming, scripting, and algorithmi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-11-03 20:31:21 Computing platforms Integrated development environments F Sharp Microsoft Research Don Syme Microsoft Visual Studio Microsoft C Sharp MonoDevelop Computing Software Mono project
850	Efficient Method Dispatch in PCL Gregor J. Kiczales and Luis H. Rodriguez Jr. Published in proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 99  105, Also appears in A. Paepcke, e Add to Reading List Source URL: www2.parc.com Language: English - Date: 1999-09-13 18:19:02 Method Computer performance Software optimization Object-oriented programming Memoization Search algorithms Common Lisp Object System Generic function Hash function Computing Computer programming Software engineering

UPDATE